Programming language semantics - PDFSEARCH.IO - Document Search Engine

Programming language semantics
Results: 372

#	Item
311	A Logic-Based Framework for Reactive Systems Robert Kowalski and Fariba Sadri Department of Computing Imperial College London {rak,[removed]} Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2012-06-12 08:05:15 Model theory Formal languages Semantics Logic in computer science Programming language semantics Operational semantics Interpretation Term algebra First-order logic Logic Mathematical logic Mathematics
312	Computational Logic in an Object-Oriented World Robert Kowalski Imperial College London [removed] Abstract Logic and object-orientation (OO) are competing ways of looking at the world. Both view the world in terms Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-06-07 11:54:52 Logical syntax Propositional calculus Philosophical logic Logic programming Abductive logic programming Semantics Knowledge representation and reasoning Object Programming language Logic Programming paradigms Grammar
313	An Agent Language with Destructive Assignment and Model-Theoretic Semantics Robert Kowalski and Fariba Sadri Department of Computing, Imperial College London, 180 Queens Gate, London SW7 2AZ {rak, fs}@doc.ic.ac.uk Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-06-19 04:56:36 Mathematics Abductive logic programming Frame problem Prolog Action selection Event calculus Predicate Atomic sentence Situation calculus Logic Logic programming Mathematical logic
314	The Semantics of Predicate Logic as a Programming Language M. H. VAN E M D E N A N D R. A. K O W A L S K I Umverslty of Edinburgh, Edmburgh. Scotland ABSTRACT Sentences in first-order predicate logic can be usefully inte Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:56:03 Metalogic Term algebra Interpretation FO First-order logic Kripke semantics Combinatory logic Logic Mathematical logic Model theory
315	Artificial Intelligence/ Language Processing C. Montgomery Editor Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:58:04 Automated theorem proving Predicate logic Programming paradigms Grammar First-order logic Semantic network Unification Resolution Semantics Logic Mathematics Mathematical logic
316	Towards a Logic-based Production System Language Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2011-08-20 04:15:20 Logic Prolog Futures and promises Frame problem Abductive logic programming Predicate Situation calculus Operational semantics Event calculus Logic programming Mathematical logic Theoretical computer science
317	PUBLISH ON DEMAND TweakCorps: Re-targeting Existing Webpages for Diverse Devices and Users WHAT IF Add to Reading List Source URL: mediax.stanford.edu Language: English - Date: 2013-12-30 14:10:32 Bento Algorithm Computing Mathematics Applied mathematics Logic in computer science Programming language semantics Software Statistical classification Support vector machine
318	FDCC: a Combined Approach for Solving Constraints over Finite Domains and Arrays S´ebastien Bardin(1) , Arnaud Gotlieb[removed]CEA LIST (Paris, France) (2) INRIA (Rennes, France) - Certus V&V Center, Simula (Oslo, Norway Add to Reading List Source URL: sebastien.bardin.free.fr Language: English - Date: 2012-06-04 05:05:22 Program logic ELLA ATS Predicate transformer semantics International Securities Identification Number Computing Programming language theory Formal methods Software engineering Hardware description languages
319	Binary-level Software Analysis Add to Reading List Source URL: sebastien.bardin.free.fr Language: English - Date: 2013-01-15 04:35:46 Procedural programming languages Compiler construction Programming language implementation C Cross-platform software Semantics Goto Software engineering Computing Computer programming
320	Binary-level Software Analysis Add to Reading List Source URL: sebastien.bardin.free.fr Language: English - Date: 2014-04-15 04:03:39 Procedural programming languages Programming language implementation Type theory Data types C Cross-platform software Type system Semantics ALGOL 68 Software engineering Computing Programming language theory

UPDATE